Inhalt des Dokuments
zur Navigation
Publikationen
| Zitatschlüssel | DBLP:journals/jlp/NestmannV05 |
|---|---|
| Autor | Uwe Nestmann and Björn Victor |
| Seiten | 1-2 |
| Jahr | 2005 |
| Journal | J. Log. Algebr. Program. |
| Jahrgang | 63 |
| Nummer | 1 |
Modelle und Theorie Verteilter SystemePublikationen
